An application of lattice theory to knowledge representation
نویسندگان
چکیده
منابع مشابه
An Application of Lattice Theory to Quasigroups
The purpose of this note is to show that O. Ore's general formulation of the Jordan-Holder theorems in partially ordered sets [3] yields the Jordan-Holder theorems for loops [ l ] which have recently been obtained by A. A. Albert [2]. We shall assume that the reader is familiar with the papers [l, 2, 3] of O. Ore and of A. A. Albert. We begin with an examination of certain congruence relations ...
متن کاملAn Application of Lattice Theoryto Knowledge
The goal of this paper is to show how ideas from lattice theory can be used in the implementation of a knowledge representation language. First, the semantics of a simple knowledge representation language is presented. Then we show how to use Birkhoo's Representation Theorem for Finite Distributive Lattices to build incremen-tally what we call a Birkhoo implementation of a knowledge base by pro...
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
An Application of Representation Theory to P/-algebras
By realizing that the multilinear identities of degree n of a PIalgebra form a left ideal in the group algebra /•"[£„], it is possible sometimes to use the representation theory of the symmetric group Sn in the study of Tideals and PZ-algebras. In this note we demonstrate this method by proving: Theorem. // the codimensions of a Pi-algebra are bounded, then they are eventually bounded by 1. For...
متن کاملApplication Of Intensional Logic To Knowledge Representation
The system of transparent intensional logic (TIL) introduced by Pavel Tich~ is used as a framework for a description of knowledge representation in n~n-machine con,nunication. A detailed exposition of TIL can be found in /1/. A language expression denotes an object by expressing its construction. The syntactic structure of the expression reflects the structure of the corresponding construction ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00058-x